Merge pull request #1422 from Yann-lms/genmask
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Mon, 18 Jun 2018 08:43:56 +0000 (09:43 +0100)
committerGitHub <noreply@github.com>
Mon, 18 Jun 2018 08:43:56 +0000 (09:43 +0100)
Genmask


Trivial merge